منابع مشابه
Diplom-Physiker vorgelegt von
We performed total energy calculations on strained tetragonal states of bulk fcc palladium by means of density functional theory using the local density approximation. Coherent epitaxial growth of thin films on cubic (001) substrates results in such strained structures due to heteroepitaxy with mismatch. We obtained what is called the epitaxial Bain path of palladium, a structural transition be...
متن کاملThe Quantitative Μ-calculus Diplom-informatikerin
This thesis studies a generalisation of the modal μ-calculus, a modal fixedpoint logic that is an important specification language in formal verification. We define a quantitative generalisation of this logic, meaning that formulae do not just evaluate to true or false anymore but instead to arbitrary real values. First, this logic is evaluated on a quantitative extension of transition systems ...
متن کاملG L E , - - Diplom-informatiker Dietmar Berwanger
Diese Dissertation ist auf den Internetseiten der Hochschulbibliothek online verfügbar. Preface iii P G is a framework of analytical tools for reasoning about decisions under circumstances beyond the immediate control of the individual decision maker. e foundations of modern game theory have been laid by von Neumann and Morgenstern in the first half of the th century [] at ...
متن کاملSergio Cereceda Stone (1942- )
Sergio Cereceda Stone was born 16 April 1942 in the coastal city of Valparaiso, Chile. Stone?s mother Luz was a housewife and caretaker for Sergio and his younger brother Lionel; his father Sergio served among the country?s twenty appellate court judges. In the early 1950s Stone?s father relocated the family to Santiago to further his law career. There Stone attended the Jesuit elementary and h...
متن کاملOp-brai130079 1942..1955
The thalamus plays crucial roles in the development and mature functioning of numerous sensorimotor, cognitive and attentional circuits. Currently limited evidence suggests that autism spectrum disorder may be associated with thalamic abnormalities, potentially related to sociocommunicative and other impairments in this disorder. We used functional connectivity magnetic resonance imaging and di...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physik Journal
سال: 1999
ISSN: 0031-9279
DOI: 10.1002/phbl.19990550407